English-Russian dictionary of mechanical engineering and automation. - RUSSO. B.S. Voskoboinikov, V.L. Mitrovich. 2003.
Model Checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
Relation — may refer to:*Relation, a person to whom one is related, i.e. a family member (see also Kinship) *Relation (mathematics), a generalization of arithmetic relations, such as = and … Wikipedia
Model City, New York — is an unincorporated hamlet in the town of Lewiston in Niagara County, New York, USA.[1] It was conceived as an urban utopia by an ambitious entrepreneur named William T. Love in the 1890s. He planned it to be The most beautiful [park] in the… … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Relation (mathematics) — This article sets out the set theoretic notion of relation. For a more elementary point of view, see binary relations and triadic relations. : For a more combinatorial viewpoint, see theory of relations. In mathematics, especially set theory, and … Wikipedia
model — by Gary Genosko Baudrillard s thinking about models had two distinct phases. The first belonged to the period of The System of Objects (1996a [1968]) in which he worked through the difference between models and series; the second emerged in… … The Baudrillard dictionary
Model (macroeconomics) — A model in macroeconomics is a logical, mathematical, and/or computational framework designed to describe the operation of a national or regional economy, and especially the dynamics of aggregate quantities such as the total amount of goods and… … Wikipedia
Model transformation — A model transformation, in model driven engineering, is an automatable way of ensuring that a family of models is consistent, in a precise sense which the software engineer can define. The aim of using a model transformation is to save effort and … Wikipedia
Model category — In mathematics, particularly in homotopy theory, a model category is a category with distinguished classes of morphisms ( arrows ) called weak equivalences , fibrations and cofibrations . These abstract from a conventional homotopy category, of… … Wikipedia
Model checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
Model of masculinity under fascist Italy — The model of masculinity under fascist Italy is the hegemonic masculinity prescribed by dictator Benito Mussolini during his fascist reign. This hegemonic model was deemed as the appropriate, ideal identity to follow during the development of a… … Wikipedia
